This article examines a still contentious question: how conservative and liberal elements are combined in Boris N. Chicherin’s worldview and political doctrine. It considers several points of view...

Why does the theory of law have such a significant role in Russian liberalism, and how is this related to the state of the legal system in Russia and to the public’s legal consciousness? This intro...

Paradigms of historiography of philosophy in India have being changed since late 19th c. till present, depending on the social and cultural context of the history of Indian philosophy as a part of contemporary Indian culture. This change manifests itself in the conceptions of Indian historians concerning the teaching of Buddhist Mahāyāna school of Yogācāra (4th c. and later). Historians of colonial times, basing themselves on the philosophy of Neovedаntism (S. Radhakrishnan, S. Dasgupta), regarded Buddhism as a derivate of late (...) Vedic culture and Yogācāra as a teaching that reflected - though in an essentially transmuted form - the ideology of Upaniṣads. The latter, according to Neovedantists, was based on the postulate of the existence of the single cosmic soul - Brahman, the true human Self (Ātman) being identical to it. Historians of the late colonial and early postcolonial times (P.T. Raju, D.P. Chattopadhyaya, A.K. Chatterjee, partly also S. Dasgupta) brought Yogācāra closer to the teachings of European idealism, mainly to conceptions of G. Berkeley, G.W.F. Hegel, F. Bradley, J.E. McTaggart, trying to demonstrate a principal identity of fundamental problems in Indian and Western philosophy. At the same time, they brought Yogācāra together with the teaching of Brāhmaṇic school, Advaita Vedānta, regarded as another form of Indian idealism. In later times, following the evolution of contemporary Indian culture and changings in its social and political context, historians like D.J. Kalupahana became to analyze Yogācāra as a kind of philosophy of mind. All these facts show the dependence of strategies of historico-philosophical studies in India on its social, political and cultural context: in the Yogācāra teaching mainly those aspects call attention that a historian sees as the closest to the problematic field of contemporary philosophy. (shrink)

The Transcendental Psychology Approach to the study of perception has been developed by A.I. Mirakyan at the Psychological Institute (Moscow, Russia) about 30 years ago. This article considers the results of theoretical and experimental investigations and provides a historical overview of the approach’s development. Started with the investigations of constancy in perception, it went beyond the traditional Product Basis Paradigm (relying on perceptual features for finding perceptual mechanisms) into Philosophical Metaphysics of “nothing” and “something” concepts for revealing the form-generating principles (...) as fundamental axiomatics of the Transcendental Psychology Approach. Several principles were developed and justified: structure-process anisotropy, spatial-temporal discreteness, the formation of anisotropic (particularly, symmetric) relations, the coexistence of alternatives, and some others. Principles are explanatory for the regulations of sensory-perceptual processes and are the direct object of further specification and experimental verification using hypothetical transcendental models of perceptual structures. The theory suggests that the internal mechanisms of these models would not naturally manifest themselves in experiments within the functional range of perception, and to see the phenomena, it is necessary to bring the perceptual system out of its natural functional range. The form-generating processes are named adiaphorous in the sense that they specifically generate new structures and forms, regardless of the characteristics of products used and produced in the processes. In general, it is possible to speak about the class of so-called structurally-generative processes that are specific to the process of transition between the system-generating structures studied by different hierarchically interrelated sciences. The proposed two-staged qualitative model of the perceptual process consists of two substantially different parts: the direct sensory perception and a process of form designation or sensory name assignment. Further investigations of structurally-generative processes seem likely to shed light on the mechanisms of brain function and to contribute strategically to new directions in philosophical psychology and neuroscience. (shrink)

The fate of liberalism in Russia almost automatically brings to mind the image of something tragic, of something that perished in its very prime. The fate of the theoreticians and political leaders of liberalism, from B.N. Chicherin to P.A. Stolypin and P.N. Miliukov, reflects the fate of the movement itself—disgrace, exile, violent death. The Bolshevik October Revolution can be dated as the final ruin of the liberal movement in Russia. The lifespan of Russian liberalism thus dates from the middle of (...) the nineteenth century to 1917. (shrink)

We study the coherence, that is the equality of canonical natural transformations in non-free symmetric monoidal closed categories . To this aim, we use proof theory for intuitionistic multiplicative linear logic with unit. The study of coherence in non-free smccs is reduced to the study of equivalences on terms in the free category, which include the equivalences induced by the smcc structure. The free category is reformulated as the sequent calculus for imll with unit so that only equivalences on derivations (...) in this system are to be considered. We establish that any equivalence induced by the equality of canonical natural transformations over a model can be axiomatized by some set of “critical” pairs of derivations. From this, we derive certain sufficient conditions for full coherence, and establish that the system of identities defining smccs is not Post-complete: extending this system with an identity that does not hold in the free smcc does not in general cause the free smcc to collapse into a preorder. In order to give a larger context to these results, we study the equality of canonical morphisms in non-free symmetric monoidal categories, and establish that w.r.t. a broad subclass of smccs, the equivalences induced by the equality of canonical natural transformations over a model coincide with the equivalences induced by the equality of canonical morphisms for all interpretations in that model. (shrink)

The relationships between various modal logics based on Belnap and Dunn’s paraconsistent four-valued logic FDE are investigated. It is shown that the paraconsistent modal logic \, which lacks a primitive possibility operator \, is definitionally equivalent with the logic \, which has both \ and \ as primitive modalities. Next, a tableau calculus for the paraconsistent modal logic KN4 introduced by L. Goble is defined and used to show that KN4 is definitionally equivalent with \ without the absurdity constant. Moreover, (...) a tableau calculus is defined for the modal bilattice logic MBL introduced and investigated by A. Jung, U. Rivieccio, and R. Jansana. MBL is a generalization of BK that in its Kripke semantics makes use of a four-valued accessibility relation. It is shown that MBL can be faithfully embedded into the bimodal logic \ over the non-modal vocabulary of MBL. On the way from \ to MBL, the Fischer Servi-style modal logic \ is defined as the set of all modal formulas valid under a modified standard translation into first-order FDE, and \ is shown to be characterized by the class of all models for \. Moreover, \ is axiomatized and this axiom system is proved to be strongly sound and complete with respect to the class of models for \. Moreover, the notion of definitional equivalence is suitably weakened, so as to show that \ and \ are weakly definitionally equivalent. (shrink)

Let M = 〈M, +, <, 0, {λ}λ∈D〉 be an ordered vector space over an ordered division ring D, and G = 〈G, ⊕, eG〉 an n-dimensional group definable in M. We show that if G is definably compact and definably connected with respect to the t-topology, then it is definably isomorphic to a 'definable quotient group' U/L, for some convex V-definable subgroup U of 〈Mⁿ, +〉 and a lattice L of rank n. As two consequences, we derive Pillay's conjecture (...) for a saturated M as above and we show that the o-minimal fundamental group of G is isomorphic to L. (shrink)

On peut distinguer trois cas de correspondances différentes entre les « scénarios schématiques » et le domaine narratif folklorico-littéraire : 1. La narration constitue la projection de la « dramaturgie de la vie » (une telle projection n’est évidemment ni directe ni complète) ;2. La structure de l’univers des personnages et la structure événementielle du narratif influencent la formation des « scénarios de la vie », en conditionnant l’apparence morphologico-compositionnelle de l’un et de l’autre ;3. La coincidence de la « (...) dramaturgie de la vie » et de la « dramaturgie de la narration»s’explique par le fait qu’elles ont des sources communes ; ces sources pourraient être les modèles mentaux de la tradition, qui dictent à un homme des « règles de comportement » d’une part, et qui s’incarnent dans la narration folklorico-littéraire d’autre part. Le « scénario schématique » possède une structure événementielle, situationnelle et actantielle. À cette structure correspond un certain niveau d’interprétation qui souvent la lie directement à la conscience religieuse et mythologique ; une telle conscience — compte tenu du fait qu’une conceptualisation globale de tous les aspects de la vie humaine caractérise le mythe — englobe, par sa nature même, les « blocs interprétatifs » pertinents pour pratiquement tous les précédents événementiels. Le « scénario schématique » est donc lié au domaine des croyances et concepts actuels, lié aussi aux systèmes de valeurs et normes éthiques, etc. ; il est possible de reconstituer nombre de ces croyances, concepts, valeurs et normes à l’aide de l’histoire vécue qui nous occupe. D’ordinaire, ces interprétations ne représentent pas le fond neutre des événements, mais un élément actif et dynamique qui agit directement sur le développement de ces événements. (shrink)

Computability theorists have introduced multiple hierarchies to measure the complexity of sets of natural numbers. The Kleene Hierarchy classifies sets according to the first-order complexity of their defining formulas. The Ershov Hierarchy classifies Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} sets with respect to the number of mistakes that are needed to approximate them. Biacino and Gerla extended the Kleene Hierarchy to the realm of fuzzy sets, whose membership functions range in a complete lattice L. In (...) this paper, we combine the Ershov Hierarchy and fuzzy set theory, by introducing and investigating the Fuzzy Ershov Hierarchy. In particular, we focus on the fuzzy n-c.e. sets which form the finite levels of this hierarchy. Intuitively, a fuzzy set is n-c.e. if its membership function can be approximated by changing monotonicity at most n-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n-1$$\end{document} times. We prove that the Fuzzy Ershov Hierarchy does not collapse; that, in analogy with the classical case, each fuzzy n-c.e. set can be represented as a Boolean combination of fuzzy c.e. sets; but that, contrary to the classical case, the Fuzzy Ershov Hierarchy does not exhaust the class of all Δ20\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varDelta ^0_2$$\end{document} fuzzy sets. (shrink)

The problem of the article is based on a long tradition of studying the category ‘antinomy‘ in the history of philosophy from antiquity until the early twentieth century. Antinomical thinking has particular importance for the spiritual life in the 20th century. The author draws attention to the fact that, for example, in the poetry of Thomas Stern Eliot antinomies and paradoxes are of philosophical and religious nature especially in then dealing with questions of reaching the Truth by rational way exclusively. (...) The basic material for studies are the works of modern Russian poets Olesya Nikolaeva, Sergei Kruglov, Timur Kibirov, Olga Sedakova and Helen Schwartz. It is shown how moral and philosophical themes and descriptions of the spiritual lives of the characters associated with the interpretation of ideas of compositions in the form of antinomies. The idea of the influence of the antinomies of thinking on aesthetics and system of images of Russian poets verses is justified. Article reveals the originality of each of the poets whose poems are analyzed in the work. The author concludes that modern poetry gives traditional antinomies personal psychological nature, but at the same time, problems and poetics of paradox are in tune with thinking of twentieth century as a whole - with its disastrous spirit, full of doubt and contradiction. (shrink)

Various connexive FDE-based modal logics are studied. Some of these logics contain a conditional that is both connexive and strict, thereby highlighting that strictness and connexivity of a conditional do not exclude each other. In particular, the connexive modal logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, cKN4, scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, cMBL, and scMBL are introduced semantically by means of classes of Kripke models. The logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} (...) \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document} and cKN4 are connexive variants of the FDE-based modal logics BK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document} and KN4 with a weak and a strong implication, respectively. The system cMBL is a connexive variant of the modal bilattice logic MBL. The latter is a modal extension of Arieli and Avron’s logic of logical bilattices and is characterized by a class of Kripke models with a four-valued accessibility relation. In the systems scBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{-}$$\end{document}, scKN4, and scMBL, the conditional is both connexive and strict. Sound and complete tableau calculi for all these logics are presented and used to show that the entailment relations of the systems under consideration are decidable for finite premise set. Moreover, the logics cBK-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cBK}^-$$\end{document} and cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} are shown to be algebraizable. The algebraizability of cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} is derived from proving cMBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {cMBL}$$\end{document} to be definitionally equivalent to MBL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {MBL}$$\end{document}. All connexive modal logics studied in this paper are decidable, paraconsistent, and inconsistent but non-trivial logics. (shrink)

The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...) other bioethical debates on exceptionalism, before presenting a detailed analysis of a specific case of early regulation of genetic screening. In the last part, the authors explain the historical background behind the connection between exceptionalism and exclusion in these debates. Their main conclusion is that while the initial stage of the discussion is shaped by the concept of exceptionalism and awareness of risks of exclusion, the later development centers around exceptions that are needed in detailed regulatory procedures. (shrink)

Our survey of literature on moral dilemmas in teaching reveals that scholars declare the need to unequivocally resolve them yet refrain from doing so. This phenomenon is rooted in falure to distinguish between the different moral conflicts. The methods of resolving abstract hypothetical dilemmas, advocated but not implemented by the scholars, are poorly suited to deal with conflicts involving social pressure and high-stakes consequences for the parties involved, like most of the conflicts that teachers report. Thus, textbooks invite teachers to (...) resolve dilemmas on their own through reflection and dialogue, beyond the limits which Habermasian ethics of dialogue allows. The scholarship licenses lax attitudes towards commitment to professional and ethical standards by appealing to the ethics of care. It appeals to outdated versions of ethics of care that posit care in opposition to the ethics of duties, no longer employed in ethics of nursing and other caring professions. (shrink)

Neuroscience has established several brain pathways that process visual information. Distinct neural circuits analyze body appearance and movement providing information about the person’s cognitive and emotional states. The activity of the pathways depends on the salience of visual stimuli for the organism in the given circumstances. Since ballet performances are not among the crucial events for the viewer’s organism, not all viewers perceive and interpret bodily signs that express the mental state of the dancer. Treatment of the dancer as close (...) other activates the neural circuits that elaborate emotions, this enables the viewer to feel the internal state of the dancer and enrich the interpretation of the scenic action. (shrink)

Historical entitlement theories of property rights, which claim that individuals can acquire moral property rights over natural resources by appropriating them, traditionally face a strong objection: it is widely implausible that a single individual can unilaterally impose duties on everyone around him and yet, apparently, this is exactly what such theories allow. In this essay, I argue that the same problem appears in all other theories of distributive justice and if this problem was a reason to reject historical entitlement theories, (...) it would also be a reason to reject all rival theories. Which means that as long, as one is committed to any theory of distributive justice at all, she, at the risk of inconsistency, cannot rely on the aforementioned objection to criticize historical entitlement theories. (shrink)

This paper introduces a theory of ownership that is rooted in Israel Kirzner’s theory of entrepreneurship – The Entrepreneurial Theory of Ownership. Its central idea is that natural resources are not available to us automatically as other approaches to justice implicitly assume. Before we can use a resource, we need to do preparatory work in the form of making an entrepreneurial judgement on it. This fact, as I argue, makes it possible to put private ownership as a natural right on (...) a firm normative ground and answer many traditional challenges to private property. (shrink)

In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

In this paper the philosophical ideology of eclecticism of Modern times is considered, especially as it has been formulated byJ. Ch.Sturm, and assessment of its contribution to development of philosophical and scientific thought is given. The need of differentiation of eclecticism, syncretism and conciliatorics is proved. Eclecticism is characterized as a progressive for its time current. The decisive impact eclecticism on formation of new scientific outlook is emphasized.

Byzantine intellectuals not only had direct access to Neoplatonic sources in the original language but also, at times, showed a particular interest in them. During the Early Byzantine period Platonism significantly contributed to the development of Christian doctrines and, paradoxically, remained a rival world view that was perceived by many Christian thinkers as a serious threat to their own intellectual identity. This problematic relationship was to become even more complex during the following centuries. Byzantine authors made numerous attempts to harmonize (...) Neoplatonic doctrines with Christianity as well as to criticize, refute and even condemn them. The papers assembled in this volume discuss a number of specific questions and concerns that drew the interest of Byzantine scholars in different periods towards Neoplatonic sources in an attempt to identify and explore the central issues in the reception of Neoplatonic texts during the Byzantine era. This is the first volume of the sub-series "Byzantinisches Archiv - Series Philosophica", which will be dedicated to the rapidly growing field of research in Byzantine philosophical texts. (shrink)